Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
261	Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2006-12-04 00:55:18
262	Visualization Techniques for Topic Model Checking Jaimie Murdock and Colin Allen Program in Cognitive Science Indiana University {jammurdo,colallen}@indiana.edu Add to Reading List Source URL: www.jamram.net Language: English - Date: 2014-12-08 16:07:57 Statistical natural language processing Topic model Academia Learning Latent Dirichlet allocation Visualization Topic and comment Digital humanities Cognitive science Dynamic topic model
263	Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2014-06-23 10:56:46
264	Benchmarking SAT Solvers for Bounded Model Checking Emmanuel Zarpas IBM Haifa Research Laboratory, Abstract. Modern SAT solvers are highly dependent on heuristics. Add to Reading List Source URL: researchweb.watson.ibm.com Language: English - Date: 2006-01-02 10:07:38
265	Bounded Model Checking for Functional Programs Koen Lindström Claessen (joint work with Dan Rosén) prop_Unambiguous t1 t2 = Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-07-21 03:24:14
266	Model-Checking Software Using Precise Abstractions Marsha Chechik and Arie Gurfinkel Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada. Email: chechik,arie @cs.toronto.edu Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:02
267	Contract-based design, model checking, and model-based safety assessment An integrated view Marco Bozzano, Alessandro Cimatti, Stefano Tonetta Fondazione Bruno Kessler, Trento, Italy Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2015-07-19 16:17:44
268	Employing AI Techniques in Probabilistic Model Checking Position Paper Robert P. Goldman and Michael W. Boldt and David J. Musliner SIFT, LLC 319 First Avenue North, Suite 400 Minneapolis, MN 55401 Add to Reading List Source URL: musliner.com Language: English - Date: 2015-06-24 16:15:52
269	Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:44
270	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-04-02 18:22:28 Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization

UPDATE